翻訳と辞書 Words near each other ・ Inverted Dirichlet distribution ・ Inverted follicular keratosis ・ Inverted hammer ・ Inverted Head 4 Annas ・ Inverted Hungarian Opening ・ Inverted index ・ Inverted Jenny ・ Inverted microscope ・ Inverpeffer ・ Inverpolly ・ Inverquharity ・ Inverquharity Castle ・ InverRadio ・ Inverroy ・ Inverse ・ Inverse (logic) ・ Inverse (mathematics) ・ Inverse agonist ・ Inverse benefit law ・ Inverse beta decay ・ Inverse bundle ・ Inverse care law ・ Inverse condemnation ・ Inverse consequences ・ Inverse copular constructions ・ Inverse Cost and Quality Law ・ Inverse curve ・ Inverse demand function ・ Inverse distance weighting ・ Inverse distribution Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Inverse (logic) ： ウィキペディア英語版 Inverse (logic) In logic, an inverse is a type of conditional sentence which is an immediate inference made from another conditional sentence. Any conditional sentence has an inverse: the contrapositive of the converse. The inverse of $P\; \backslash rightarrow\; Q$ is thus $\backslash neg\; P\; \backslash rightarrow\; \backslash neg\; Q$. For example, substituting propositions in natural language for logical variables, the inverse of the conditional proposition, "If it's raining, then Sam will meet Jack at the movies" is "If it's not raining, then Sam will not meet Jack at the movies." The inverse of the inverse, that is, the inverse of $\backslash neg\; P\; \backslash rightarrow\; \backslash neg\; Q$, is $\backslash neg\; \backslash neg\; P\; \backslash rightarrow\; \backslash neg\; \backslash neg\; Q$. Since a double negation has no logical effect, the inverse of the inverse is logically equivalent to the original conditional $P\; \backslash rightarrow\; Q$. Thus it is permissible to say that $\backslash neg\; P\; \backslash rightarrow\; \backslash neg\; Q$ and $P\; \backslash rightarrow\; Q$ are inverses of each other. Likewise, $P\; \backslash rightarrow\; \backslash neg\; Q$ and $\backslash neg\; P\; \backslash rightarrow\; Q$ are inverses of each other. The inverse and the converse of a conditional are logically equivalent to each other, just as the conditional and its contrapositive are logically equivalent to each other. But ''the inverse of a conditional is not inferable from the conditional''. For example, "If it's not raining, then Sam will not meet Jack at the movies" cannot be inferred from "If it's raining, then Sam will meet Jack at the movies." It could easily be the case that Sam and Jack are attending the movies no matter the weather. In traditional logic, where there are four named types of categorical propositions, only forms A and E have an inverse. To find the inverse of these categorical propositions one must: replace the subject and the predicate of the invertend by their respective contradictories and change the quantity from universal to particular.〔Toohey, John Joseph. An Elementary Handbook of Logic. Schwartz, Kirwin and Fauss, 1918〕 *All ''S'' are ''P'' (''A'' form) becomes Some non-''S'' are non-''P'' *All ''S'' are not ''P'' (''E'' form) becomes Some non-''S'' are not non-''P'' == See also == * Contraposition * Converse (logic) * Obversion * Transposition (logic) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Inverse (logic)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.